Nuprl Definition : squash 9,38
T == {:True| T}  
latex

DefinitionsT, True
FDL editor aliasessquash

origin